利用F（S）中 运算的定义给出了F（S）关于逻辑等价（可证等价）一所得的商代数F（S）／～中的 运算，在F（S）／～中定义了 商理想，讨论了 商理想的性质，得到了F（S）／-......